What's New in DLP
نویسنده
چکیده
DLP has undergone a number of modiications in the last year. Most of the modiications are further optimisations, but DLP now has an option to compute and return the full model it generates for satissable formulae. The new optimisations include some low-level optimisations, more cached information to help in backjumping, early investigation of modal successors , and a form of dynamic backtracking. None of these optimisations produce the dramatic gains of earlier optimisations, but they do augment the space of optimisations for incorporation into future description logic systems.
منابع مشابه
Mechanical performance of three-dimensional bio- nanocomposite scaffolds designed with digital light processing for biomedical applications
Introduction: The need for biocompatible and bioactive scaffolds to accelerate the regeneration and repair of fractured bones has been considered for bone tissue engineering applications during recent decades. The new methods were developed to produce scaffolds to improve the tissue quality, size of cavities, control the porosity and increase the scaffold compressive strength u...
متن کاملAggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV
Disjunctive Logic Programming (DLP) is a very expressive formalism: it allows to express every property of finite structures that is decidable in the complexity class E^ (NP H ) . Despite the high expressiveness of DLP, there are some simple properties, often arising in real-world applications, which cannot be encoded in a simple and natural manner. Among these, properties requiring to apply so...
متن کاملReviewing Single and Multiple Viewer Stereo with DLP Projectors
DLP (Digital Light Processing) is in the process of dramatically changing the performance expectations with respect to stereo applications, one of the last bastions of CRT projection technology. This paper discusses stereo and the application of DLP projectors. In addition to currently available high brightness DLP projectors, we present new results with using small economical single chip DLP p...
متن کاملEffects of Different Levels of Dried Lemon (Citrus aurantifulia) Pulpon Performance, Carcass Traits, Blood Biochemical and Immunity Parameters of Broilers
This experiment was conducted to evaluate the effects of different levels of dried lemon pulp (DLP) on performance, carcass traits, blood biochemical and immunity parameters of broilers. In this experiment 240 of broilers (Ross-308) were used in a completely randomized design with 4 treatments and 3 replicates (with 20 birds in each replicate) from 1 to 42 days. Experimental diets included: 1) ...
متن کاملParametric Connectives in Disjunctive Logic Programming
Disjunctive Logic Programming (DLP) is an advanced formalism for Knowledge Representation and Reasoning (KRR). DLP is very expressive in a precise mathematical sense: it allows to express every property of finite structures that is decidable in the complexity class Σ 2 (NP ). Importantly, the DLP encodings are often simple and natural. In this paper, we single out some limitations of DLP for KR...
متن کامل